Tree automaton - PDFSEARCH.IO - Document Search Engine

Tree automaton
Results: 92

#	Item
71	Capturing Practical Natural Language Transformations Kevin Knight Information Sciences Institute and Computer Science Department University of Southern California [removed] Add to Reading List Source URL: www.isi.edu Language: English - Date: 2008-02-13 19:53:36 Theoretical computer science Computer science Finite state transducer Computational linguistics Finite-state machine Applied mathematics Formal grammar Tree automaton Speech recognition Automata theory Models of computation Formal languages
72	DAGGER: A Toolkit for Automata on Directed Acyclic Graphs Kevin Knight University of Southern California Information Sciences Institute Marina del Rey, California[removed]removed] Add to Reading List Source URL: www.isi.edu Language: English - Date: 2012-07-17 14:34:24 Applied mathematics Computer science Finite state transducer Finite-state machine Directed acyclic graph Mehryar Mohri DAG Tree automaton Algorithm Automata theory Models of computation Theoretical computer science
73	In Proc. of the Eleventh International Conference on Implementation and Application of Automata (CIAA), Lecture Notes in Computer Science, c Springer Verlag, 2006. Tiburon: A Weighted Tree Automata Toolkit Jonathan May a Add to Reading List Source URL: www.isi.edu Language: English - Date: 2006-07-06 12:34:50 Models of computation Computer science Software engineering Finite state transducer FSA Utilities Finite-state machine Tree automaton Formal grammar Context-free grammar Formal languages Automata theory Theoretical computer science
74	Cost-Optimal Factored Planning: Promises and Pitfalls Eric Fabre Lo¨ıg Jezequel Patrik Haslum and Sylvie Thi´ebaux Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2010-03-30 23:55:59 Applied mathematics Finite state transducer Polynomial Factorization IP Tree automaton SL Theoretical computer science Automata theory Mathematics
75	Extended Path Expressions for XML [Extended Abstract] Makoto Murata IBM Tokyo Research Lab/IUJ Research Institute[removed], Shimotsuruma, Yamato-shi, Kanagawa-ken[removed], Japan Add to Reading List Source URL: xml.coverpages.org Language: English - Date: 2001-03-17 13:19:01 Computing Tree automaton Regular expression Hedge Finite-state machine Binary tree Automata theory Theoretical computer science Computer science
76	Theory Comput Syst DOI[removed]s00224[removed]Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization Marcelo Arenas · Pablo Barceló · Leonid Libkin Add to Reading List Source URL: web.ing.puc.cl Language: English - Date: 2013-04-26 05:57:02 Mathematics Logic Combinatorics on words Models of computation Nested word Words Muller automaton Model theory Tree Automata theory Formal languages Theoretical computer science
77	Department of Foundations of Computer Science ´ [8] Z. Esik and W. Kuich, Axiomatizing rational series, 8th Panhellenic Logic Symposium, Ioannina, 2011, 30–34. ´ Add to Reading List Source URL: www.inf.u-szeged.hu Language: English - Date: 2013-10-26 05:30:52 Mathematics Applied mathematics Combinatorics on words Tree automaton Descriptional Complexity of Formal Systems Finite-state machine Alphabet Regular tree grammar International Conference on Developments in Language Theory Formal languages Theoretical computer science Automata theory
78	derived several key results of the theory of automata in the axiomatic settings. THEORETICAL COMPUTER SCIENCE The research performed in the Department of Foundations of Computer Science lies in the intersection of algebr Add to Reading List Source URL: www.inf.u-szeged.hu Language: English - Date: 2010-05-13 07:14:20 Mathematics Combinatorics on words Applied mathematics Models of computation Tree automaton Alphabet Finite-state machine Theory of computation International Conference on Developments in Language Theory Formal languages Automata theory Theoretical computer science
79	Blocking Automata for PSpace DLs Franz Baader1 , Jan Hladik1 , and Rafael Pe˜ naloza2? 1 Theoretical Computer Science, TU Dresden, Germany Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Tree automaton Tree PSPACE-complete Tbox Automata theory Theoretical computer science Computer science
80	Dependency Tree Automata Colin Stirling [removed] Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-12-22 09:12:53 Computer science Model checking Finite-state machine Tree automaton End Model theory Simply typed lambda calculus Graph Configuration graph Theoretical computer science Automata theory Mathematics